mining hole - Allemand Anglais Dictionnaire